Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ...